digraph TS_1 {
b0 -> b1 [label="input_french"]
b1 -> b0 [label="output_italian"]

[initial = {b0} ]
[final = {b0} ]
}

